#ifndef __SNAPSHOT_H__
#define __SNAPSHOT_H__

#include <stdio.h>
#include <memory/paddr.h>
#include <isa.h>

#define REG_WIDTH 8
#define MAX_BUF_SIZE 0x10000

int store_snapshot(const char* filename);
int load_snapshot(const char* filename);

#endif
